Planning Domain Definition Language

Results: 128



#Item
21Robot control / Planning Domain Definition Language / Control theory / Robotics / Obstacle avoidance / Robot / Applied mathematics / Simulation / Artificial intelligence / Motion planning / Theoretical computer science / Automated planning and scheduling

From Navigation to Robotic-Assisted Surgery: Combined Planning in Discrete and Continuous Spaces Erion Plaku This work aims to deal formally and efficiently with the complexity of planning that arises at the intersection

Add to Reading List

Source URL: faculty.cua.edu

Language: English - Date: 2014-10-28 09:35:43
22Science / Mind / Operations research / Automated planning and scheduling / Heuristic function / Heuristic / Algorithm / Search algorithm / Planning Domain Definition Language / Problem solving / Artificial intelligence / Heuristics

Action Pruning Through Under-approximation Refinement Master’s Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2014-06-04 05:49:32
23Automated planning and scheduling / Planning Domain Definition Language / Theoretical computer science / Models of computation / Hybrid automaton / Formal languages / Finite-state machine / Hybrid system / Alphabet / Automata theory / Differential equations / Mathematics

Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2014-07-02 05:16:10
24Economic model / Automated planning and scheduling / Planning Domain Definition Language / STRIPS

ICAPS 2014 Tutorial Introduction to Planning Domain Modeling in RDDL Scott Sanner

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2014-08-23 20:23:48
25Automated planning and scheduling / Information / Semantic Web / Information science / Technical communication / Planning Domain Definition Language / Hierarchical task network / Planning / Knowledge engineering / Ontology / Artificial intelligence / Science

In Proceedings of the AAAI 2000 workshop on Representational Issues for Real-world Planning Systems. PLANET: A Shareable and Reusable Ontology for Representing Plans Yolanda Gil and Jim Blythe University of Southern Cal

Add to Reading List

Source URL: www.isi.edu

Language: English - Date: 2000-05-03 21:25:12
26Battery / Lithium-ion battery / Electric car / Power supply / Planning Domain Definition Language / Electric vehicle / Rechargeable batteries / Energy / Technology

Journal of Artificial Intelligence Research382 Submitted 03/12; publishedPlan-based Policies for Efficient Multiple Battery Load Management Maria Fox

Add to Reading List

Source URL: jair.org

Language: English - Date: 2012-06-28 20:12:18
27Models of computation / Legal formalism / State transition system / Transition / Automated planning and scheduling / Planning Domain Definition Language / Artificial intelligence

A Beginner’s Introduction to Heuristic Search Planning 2. Planning Formalisms (and Heuristic Search) Malte Helmert

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2015-02-06 11:43:49
28Search algorithms / Mathematics / Mathematical optimization / Job shop scheduling / Partial-order planning / Planning Domain Definition Language / A* search algorithm / STRIPS / Backtracking / Artificial intelligence / Operations research / Automated planning and scheduling

Forward-Chaining Partial-Order Planning Amanda Coles and Andrew Coles and Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G1 1XH, UK email: firstname.lastname

Add to Reading List

Source URL: www.cis.strath.ac.uk

Language: English - Date: 2010-06-08 10:04:32
29Operations research / Constraint programming / Convex optimization / Linear programming / Constraint satisfaction / Shortest path problem / Automated planning and scheduling / Mathematical optimization / Planning Domain Definition Language / Mathematics / Applied mathematics / Theoretical computer science

Incremental Constraint-Posting Algorithms in Interleaved Planning and Scheduling Amanda Coles, Andrew Coles, Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G

Add to Reading List

Source URL: www.cis.strath.ac.uk

Language: English - Date: 2009-09-29 10:17:17
30Applied mathematics / Science / Artificial intelligence / Mathematical optimization / Linear programming / Grammatical aspect / Control theory / MPS / Scheduling / Operations research / Automated planning and scheduling / Planning Domain Definition Language

PDF Document

Add to Reading List

Source URL: www.cis.strath.ac.uk

Language: English - Date: 2009-11-24 11:04:49
UPDATE